<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
<html> <head>
<script type="text/javascript">
  document.location.href = '/html/index.html';
</script>
</head>
</html>

